Publisher
Edition
At
1
Mathematical logic /
Association for Symbolic Logic ;
[2001].
QA9 .S52 2001
NEU Grand Library[General Collection]
Available
0
Les échelles argumentatives /
Minuit,
1980.
RC455 .D4 1980
NEU Grand Library[General Collection]
Available
0
Logic, semantics, metamathematics :
Hackett Pub. Co.,
c1983.
BC135 .T35 1983
University of Kyrenia Grand Library[University Of Kyrenia]
Available
0
Logic Colloquium '98 :
Association for Symbolic Logic,
c2000.
QA9.A1 L64 1998
-
-
0
Journal of logic and computation
Oxford University Press,
[1990?-
QA76.63 .J68
Online electronic
Not for loan
0
Minds and machines
Kluwer Academic Publishers,
c1991-
Q334 .M56
Online electronic
Not for loan
0
Logic journal of the IGPL
Oxford University Press ;
QA9.A1 L645
Online electronic
Not for loan
0
ACM transactions on computational logic
Association for Computing Machinery,
c2000-
QA76.9.L63 A3
Online electronic
Not for loan
1
Kanıtlar ve çürütmeler :
Nesin Matematik Köyü ,
2014.
QA8.4 .L35 2014
NEU Grand Library[General Collection]
Available
2
100% mathematical proof /
Wiley,
c1996.
QA9.54 .G367 1996
NEU Grand Library[General Collection]
Available
